Preserving Neural Function under Extreme Scaling
نویسندگان
چکیده
منابع مشابه
Preserving Neural Function under Extreme Scaling
Important brain functions need to be conserved throughout organisms of extremely varying sizes. Here we study the scaling properties of an essential component of computation in the brain: the single neuron. We compare morphology and signal propagation of a uniquely identifiable interneuron, the HS cell, in the blowfly (Calliphora) with its exact counterpart in the fruit fly (Drosophila) which i...
متن کامل’Power law scaling during physical vapor deposition under extreme shadowing conditions
A qualitative model that relates the period of the surface roughness to the vertical and spherical growth rates of glancing angle deposited GLAD nanorods suggests that rod self-shadowing is responsible for the previously reported temperature dependence in the rod width. Atomic shadowing interactions between neighboring rods as well as surface islands on the rod growth fronts control the morphol...
متن کاملPreserving Secrecy Under Refinement
We propose a general framework of secrecy and preservation of secrecy for labeled transition systems. Our definition of secrecy is parameterized by the distinguishing power of the observer, the properties to be kept secret, and the executions of interest, and captures a multitude of definitions in the literature. We define a notion of secrecy preserving refinement between systems by strengtheni...
متن کاملExtreme Scaling of Lattice Quantum Chromodynamics
As the complexity and size of challenges in science and engineering are continually increasing, it is highly important that applications are able to scale strongly to very large numbers of cores (>100,000 cores) to enable HPC systems to be utilised efficiently. This paper presents results of strong scaling tests performed with an MPI only and a hybrid MPI + OpenMP version of the Lattice QCD app...
متن کاملPreserving Properties Under Change
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specifically, we will investigate when a temporal logic property of an Object-Z class is preserved under a modification or extension of the class with new features. To this end, we use the slicing technique from program analysi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: PLoS ONE
سال: 2013
ISSN: 1932-6203
DOI: 10.1371/journal.pone.0071540